improve description of --debugfilter
authorJoey Hess <joeyh@joeyh.name>
Wed, 17 May 2023 16:38:22 +0000 (12:38 -0400)
committerJoey Hess <joeyh@joeyh.name>
Wed, 17 May 2023 16:38:22 +0000 (12:38 -0400)
commit31d21578c3b3fa44e6ab04d410f729b3d48b407b
tree4a160e1284e680929b4fb6e9a420bdf12c78c747
parent40731ff9fdd5725635ad8400cfd2872dc1638e5e
improve description of --debugfilter
CmdLine/Option.hs